(agda2-status-action "")
(agda2-info-action "*Type-checking*" "" nil)
(agda2-highlight-clear)
(agda2-highlight-add-annotations 'nil '(1 35 (comment) t) '(36 92 (comment) t) '(93 142 (comment) t) '(143 179 (comment) t) '(181 187 (keyword) t) '(190 191 (symbol) t) '(193 194 (symbol) t) '(195 198 (primitivetype) t) '(198 199 (symbol) t) '(200 201 (symbol) t) '(203 204 (symbol) t) '(207 208 (symbol) t) '(209 212 (primitivetype) t) '(212 213 (symbol) t) '(214 215 (symbol) t) '(216 219 (primitivetype) t) '(220 225 (keyword) t) '(228 233 (keyword) t) '(242 243 (symbol) t) '(254 255 (symbol) t) '(263 310 (comment) t) '(312 347 (comment) t) '(349 355 (keyword) t) '(358 364 (keyword) t) '(377 378 (symbol) t) '(379 383 (primitivetype) t) '(384 389 (keyword) t) '(394 405 (keyword) t) '(422 427 (keyword) t) '(439 440 (symbol) t) '(442 445 (primitivetype) t) '(467 468 (symbol) t) '(470 471 (symbol) t) '(473 474 (symbol) t) '(482 483 (symbol) t) '(484 485 (symbol) t) '(486 489 (primitivetype) t))
(agda2-highlight-add-annotations 'nil '(188 189 (record) nil nil ("Issue1790.agda" . 188)) '(191 192 (bound) nil nil ("Issue1790.agda" . 191)) '(201 202 (bound) nil nil ("Issue1790.agda" . 201)) '(205 206 (bound) nil nil ("Issue1790.agda" . 191)) '(238 241 (field) nil nil ("Issue1790.agda" . 238)) '(244 245 (bound) nil nil ("Issue1790.agda" . 191)) '(250 253 (field) nil nil ("Issue1790.agda" . 250)) '(256 257 (bound) nil nil ("Issue1790.agda" . 201)) '(258 261 (bound) nil nil ("Issue1790.agda" . 238)) '(365 376 (record) nil nil ("Issue1790.agda" . 365)) '(406 417 (inductiveconstructor) nil nil ("Issue1790.agda" . 406)) '(429 436 (field) nil nil ("Issue1790.agda" . 429)) '(457 465 (field) nil nil ("Issue1790.agda" . 457)) '(471 472 (bound) nil nil ("Issue1790.agda" . 471)) '(475 482 (bound) nil nil ("Issue1790.agda" . 429)))
(agda2-highlight-add-annotations 'nil '(188 189 (record) nil nil ("Issue1790.agda" . 188)) '(190 191 (symbol) t) '(191 192 (bound) nil nil ("Issue1790.agda" . 191)) '(193 194 (symbol) t) '(195 198 (primitivetype) t) '(198 199 (symbol) t) '(200 201 (symbol) t) '(201 202 (bound) nil nil ("Issue1790.agda" . 201)) '(203 204 (symbol) t) '(205 206 (bound) nil nil ("Issue1790.agda" . 191)) '(207 208 (symbol) t) '(209 212 (primitivetype) t) '(212 213 (symbol) t) '(214 215 (symbol) t) '(216 219 (primitivetype) t))
(agda2-highlight-add-annotations 'nil '(181 187 (keyword) t) '(188 189 (record) nil nil ("Issue1790.agda" . 188)) '(220 225 (keyword) t) '(228 233 (keyword) t) '(238 241 (field) nil nil ("Issue1790.agda" . 238)) '(242 243 (symbol) t) '(244 245 (bound) nil nil ("Issue1790.agda" . 191)) '(250 253 (field) nil nil ("Issue1790.agda" . 250)) '(254 255 (symbol) t) '(256 257 (bound) nil nil ("Issue1790.agda" . 201)) '(258 261 (field) nil nil ("Issue1790.agda" . 238)))
(agda2-highlight-add-annotations 'nil '(365 376 (record) nil nil ("Issue1790.agda" . 365)) '(377 378 (symbol) t) '(379 383 (primitivetype) t))
(agda2-highlight-add-annotations 'nil '(358 364 (keyword) t) '(365 376 (record) nil nil ("Issue1790.agda" . 365)) '(384 389 (keyword) t) '(394 405 (keyword) t) '(406 417 (inductiveconstructor) nil nil ("Issue1790.agda" . 406)) '(422 427 (keyword) t) '(429 436 (field) nil nil ("Issue1790.agda" . 429)) '(439 440 (symbol) t) '(442 445 (primitivetype) t) '(457 465 (field) nil nil ("Issue1790.agda" . 457)) '(467 468 (symbol) t) '(470 471 (symbol) t) '(471 472 (bound) nil nil ("Issue1790.agda" . 471)) '(473 474 (symbol) t) '(475 482 (field) nil nil ("Issue1790.agda" . 429)) '(482 483 (symbol) t) '(484 485 (symbol) t) '(486 489 (primitivetype) t))
(agda2-highlight-add-annotations 'nil '(1 35 (comment) t) '(36 92 (comment) t) '(93 142 (comment) t) '(143 179 (comment) t) '(263 310 (comment) t) '(312 347 (comment) t) '(349 355 (keyword) t))
(agda2-status-action "Checked")
(agda2-info-action "*All Done*" "" nil)
((last . 1) . (agda2-goals-action '()))
